Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
151	PDF Document Add to Reading List Source URL: www.qedeq.org Language: English - Date: 2013-05-24 16:15:39 Propositional calculus Formal languages Logical syntax First-order logic Proposition Predicate variable Well-formed formula Function Lambda calculus Logic Mathematical logic Predicate logic
152	PDF Document Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-07-02 01:48:02 Quantification Mizar system Andrzej Trybulec Mizar and Alcor Propositional calculus Function FO Universal quantification Natural deduction Logic Mathematical logic Mathematics
153	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-26 10:21:13 Function Mathematical proof Finitary relation Equivalence relation Boolean algebra Mathematical induction Binary relation Well-founded relation Propositional calculus Mathematics Logic Mathematical logic
154	PDF Document Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-09-09 20:50:02 Mathematics Modus ponens Modus tollens Propositional calculus Disjunctive syllogism Hypothetical syllogism PDP-8 Function Simplification Rules of inference Logic Mathematical logic
155	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2012-09-05 10:26:01 Mathematical logic Bertrand Russell Functions and mappings Type theory Axiom of reducibility Principia Mathematica Function Propositional function Impredicativity Mathematics Logic Philosophy
156	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2002-09-01 15:32:00 Logical syntax Predicate logic Mathematical logic Propositional calculus First-order logic Well-formed formula Atomic formula Logical connective Function Logic Mathematics Formal languages
157	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2009-09-09 16:21:38 Boolean algebra Semantics Logical connectives Tautology Natural deduction Modal logic Negation Well-formed formula Truth function Logic Mathematical logic Propositional calculus
158	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2005-07-20 17:21:01 Propositional calculus Quantification Metalogic Logical syntax Function Navantia Natural deduction Universal quantification Model theory Logic Mathematical logic Mathematics
159	PDF Document Add to Reading List Source URL: tellerprimer.ucdavis.edu Language: English - Date: 2013-03-11 15:24:11 Philosophical logic Veracity Binary operations Argument Validity Entailment Truth function Logical connective Soundness Logic Propositional calculus Deduction
160	PDF Document Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2008-11-25 16:41:35 IP Flow network Factorial Propositional calculus Complex network zeta function Mathematics Combinatorics Audrey Terras

UPDATE